[IA64] fix domain_flush_vtlb_all()
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 5 Jul 2006 16:03:20 +0000 (10:03 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 5 Jul 2006 16:03:20 +0000 (10:03 -0600)
commitac94569ff63144d0fb2b9aebe177006bb3b76f3e
treed03c34fb931b7f64e099ba43f9c30e4054e8b4e5
parenta372180d48feb86210bf5a59d15f92ab845756c3
[IA64] fix domain_flush_vtlb_all()

It should purge software tlb entry of specified vcpu, not current.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/vcpu.c
xen/arch/ia64/xen/vhpt.c
xen/include/asm-ia64/tlbflush.h